Higher-Order Patterns
نویسنده
چکیده
The higher-order pattern calculus supports patterns as inputs and outputs, just as higher-order functional languages support functions. The resulting pattern polymorphic functions take arguments for both patterns, which describe where the data is, and functions, which describe how to act on data. The calculus is strongly-typed and reduction is type-safe and confluent.
منابع مشابه
Study on Generation of Higher Order Orbital Angular Momentum Modes and Parameters Affecting the Vortex
In this manuscript, higher-order Orbital Angular Momentum (OAM) modes and parameters affecting vortex in the radiation pattern have been studied. A uniform circular array resonating at 10 GHz frequency is formed using eight identical rectangular patch antennas. Three uniform circular arrays are analyzed, simulated, and fabricated for OAM modes 0, +1, and -1 respectively. The higher-order OAM mo...
متن کاملNatural Frequency and Dynamic Analyses of Functionally Graded Saturated Porous Beam Resting on Viscoelastic Foundation Based on Higher Order Beam Theory
In this paper, natural frequencies and dynamic response of thick beams made of saturated porous materials resting on viscoelastic foundation are investigated for the first time. The beam is modeled using higher-order beam theory. Kelvin-voight model is used to model the viscoelastic foundation. Distribution of porosity along the thickness is considered in two different patterns, which are symme...
متن کاملBuckling and static analyses of functionally graded saturated porous thick beam resting on elastic foundation based on higher order beam theory
In this paper, static response and buckling analysis of functionally graded saturated porous beam resting on Winkler elastic foundation is investigated. The beam is modeled using higher-order shear deformation theory in conjunction with Biot constitutive law which has not been surveyed so far. Three different patterns are considered for porosity distribution along the thickness of the beam: 1) ...
متن کاملRelating Nominal and Higher-Order Pattern Unification
Higher-order pattern unification and nominal unification are two approaches to unifying modulo some form of α-equivalence (consistent renaming of bound names). Though the higher-order and nominal approaches superficially dissimilar, there is a natural concretion (or name-application) operation for nominal terms that can be used to simulate the behavior of higher-order patterns. We describe a fo...
متن کاملHigher Order Combinators for Join Patterns using STM
Join patterns provide a higher level concurrent programming construct than the explicit use of threads and locks and have typically been implemented with special syntax and run-time support. This paper presents a strikingly simple design for a small number of higher order combinators which can be composed together to realize a powerful set of join patterns as a library in an existing language. ...
متن کاملThe Role of Parental Bonding Perception in Predicting Communication Patterns of Couples
Background: Parental bonding perception leads to the different domains of future life. The goal of this study was to investigate the predictive role of parental bonding perception types of communicational patterns of couples of Tehran. Methods: This research was a correlational and descriptive study. The study sample comprised of 338 individuals who voluntarily participated in the research in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004